Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
341	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
342	[To Appear in the SIGGRAPH 94 Conference Proceedings] TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi SunSoft, Inc. * Add to Reading List Source URL: conal.net Language: English - Date: 2006-01-18 15:03:30 Operations research Classical mechanics Constraint satisfaction Energy minimization Mathematical optimization Derivative Control theory Constraint programming Constraint Generalizations of the derivative Loop quantum gravity Constraint logic programming
343	Electronic Communications of the EASST VolumeProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-11-05 07:20:14 Mathematical logic Mathematical proofs Theoretical computer science Mathematical induction Recursion Structural induction Rippling Algorithm Theorem
344	Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:04:56 Operations research Mathematical optimization Constraint programming Logic in computer science NP-complete problems Topology Satisfiability modulo theories Dynamic programming Semidefinite programming
345	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Philosophical logic Model theory Mathematical logic Logical connectives Saul Kripke Modal logic First-order logic Truth function Negation Logic Liar paradox
346	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
347	COE CST Fifth Annual Technical Meeting Task 293. Reduced Order Non-Liner Structural Model Donghyeon Ryu, Ph.D. Add to Reading List Source URL: www.coe-cst.org Language: English - Date: 2015-10-28 10:26:38 Model theory Universal algebra Mathematical logic COMSOL Multiphysics Substructure MATLAB Age Algorithm Structure
348	Learning the Synergy of a New Teammate Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and Abstract— In many Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:36 Algorithm Mathematical logic Theoretical computer science Graph Simulated annealing Machine learning Connected component Robotics
349	Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2016-01-19 11:56:00 Model theory Mathematical logic Predicate logic First-order logic FO Second-order logic Structure Term Logic programming
350	SOCIAL GROUPING FOR TARGET HANDOVER IN MULTI-VIEW VIDEO Zhen Qin Christian R. Shelton Lunshao Chai∗ Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2013-03-14 16:02:04 Mathematical logic Craig interpolation Lemmas Interpretation Match moving Distribution Linear temporal logic

UPDATE